Automated Reasoning

定义 Definition

自动推理：指由计算机系统（如基于逻辑、规则或证明搜索的程序）自动地从已知事实与规则中推导结论、验证命题或生成证明的过程。常见于人工智能、形式化验证、定理证明与知识表示等领域。（该短语在不同语境下也可泛指“自动化的推理过程”。）

发音 Pronunciation (IPA)

/ˌɔːtəˌmeɪtɪd ˈriːzənɪŋ/

例句 Examples

Automated reasoning can solve simple logic puzzles.
自动推理可以解决简单的逻辑谜题。

In software verification, automated reasoning helps prove that a program meets its safety requirements under all possible inputs.
在软件验证中，自动推理有助于证明程序在所有可能输入下都满足其安全性要求。

词源 Etymology

automated 来自 automate（使自动化），与 automatic 同源，源头可追溯到表示“自我运作/自发”的希腊语词根（auto- “自己”）。reasoning 来自 reason（推理、理由），与拉丁语 ratio（计算、理性、推算）相关。合在一起，automated reasoning 字面即“由机器自动进行的推理/推断”。

相关词 Related Words

• Logic
• Inference
• Deduction
• Theorem Proving
• Formal Verification
• Constraint Solving
• SAT Solver
• Knowledge Representation

文学与著作中的用例 Literary Works

• Handbook of Automated Reasoning（Robinson & Voronkov 编）：自动推理领域的权威综述与参考书。
• Artificial Intelligence: A Modern Approach（Russell & Norvig）：在逻辑推理与智能体等章节中讨论自动推理相关方法与应用。
• Logic in Computer Science: Modelling and Reasoning about Systems（Huth & Ryan）：涉及形式化方法与用于系统推理/验证的自动化技术。
• Gödel, Escher, Bach: an Eternal Golden Braid（Douglas Hofstadter）：在探讨形式系统与证明思想时常触及（并引出）自动化推理的核心观念与背景。